namespace core_uninitialized_UndefReturn {
int test() {
	int x;
	return x; // warn
}
}